Advances in Abstract Categorial Grammars Language Theory and Linguistic Modeling Lecture 3

Source URL: research.nii.ac.jp

Exploiting Similarities among Languages for Machine Translation arXiv:1309.4168v1 [cs.CL] 17 Sep 2013 Tomas Mikolov Google Inc.

Source URL: arxiv.org

• Linguistics
• Computational linguistics
• Applied linguistics
• Natural language processing
• Artificial neural networks
• Language modeling
• Statistical natural language processing
• Word2vec
• Word embedding
• Machine translation
• Word-sense disambiguation
• Statistical machine translation

Version 3.3.0 Introduction Archi® is a free, open source, cross-platform tool to create ArchiMate models. The Archi® modelling tool is targeted toward all levels of Enterprise Architects and Modellers. It provides a

Source URL: www.archimatetool.com

• Software
• Computing
• Enterprise architecture
• Information technology management
• Enterprise modelling
• Data modeling tools
• Integrated development environments
• ArchiMate
• Architecture description language
• Archi
• The Open Group
• Menu bar

Towards a Base Model for UML and OCL Verication? Frank Hilken, Philipp Niemann, Robert Wille, and Martin Gogolla University of Bremen, Computer Science Department DBremen, Germany

Source URL: www.db.informatik.uni-bremen.de

• Software
• Computing
• Unified Modeling Language
• ISO standards
• Object Constraint Language
• ECO
• Class diagram
• Diagram
• Activity diagram
• Object Process Methodology
• Entityrelationship model
• YEd

SUB-PHONETIC MODELING FOR CAPTURING PRONUNCIATION VARIATIONS FOR CONVERSATIONAL SPEECH SYNTHESIS Kishore Prahallad, Alan W Black and Ravishankhar Mosur† {skishore, awb, rkm+}@cs.cmu.edu Language Technologies Institute,

Source URL: ravi.iiit.ac.in

Softw Syst Model:525–532 DOIs10270EDITORIAL In memory of Robert B. France, Co-Founder and Editor-in-Chief

Source URL: www.db.informatik.uni-bremen.de

• Software engineering
• Computing
• ISO standards
• Bernhard Rumpe
• Unified Modeling Language
• Kevin Lano
• Software and Systems Modeling
• Modeling language
• Jean-Marc Jzquel
• Domain-specific modeling
• Enterprise engineering

A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems Stefan Mitsch 1

Source URL: www.cs.bham.ac.uk

• Software
• Theoretical computer science
• Systems engineering
• Unified Modeling Language
• Formal methods
• Logic in computer science
• KeY
• Hybrid system
• Formal verification
• First-order logic
• Proof theory
• Model checking

MiningZinc: A Modeling Language for Constraint-based Mining Tias Guns1 , Anton Dries1 , Guido Tack2 , Siegfried Nijssen1,3 and Luc De Raedt1 Department of Computer Science, KU Leuven {firstname.lastname}@cs.kuleuven.be 2

Source URL: inductiveconstraints.eu

Advances in Abstract Categorial Grammars Language Theory and Linguistic Modeling Lecture 5

Source URL: research.nii.ac.jp

Modular Embedding of the Object Constraint Language into a Programming Language Fabian Büttner and Martin Gogolla University of Bremen, Computer Science Department, Database Systems Group {green,gogolla}@tzi.de

Source URL: www.db.informatik.uni-bremen.de

• Software
• Computing
• Unified Modeling Language
• Programming paradigms
• Object Constraint Language
• ECO
• Executable UML
• Imperative programming
• Statement
• Assignment
• Eclipse
• Modeling language